Safe and Optimal Adaptive Cruise Control
نویسندگان
چکیده
In a series of contributions Olderog et al. have formulated and verified safety controllers for a number of lane-maneuvers on multilane roads. Their work is characterized by great clarity and elegance partly due to the introduction of a special-purpose Multi-Lane Spatial Logic. In this paper, we want to illustrate the potential of current modelchecking technology for automatic synthesis of optimal yet safe (collisionfree) controllers. We demonstrate this potential on an Adaptive Cruise Control problem, being a small part of the overall safety problem considered by Olderog.
منابع مشابه
Improving the velocity tracking of cruise control system by using adaptive methods
Accurate and correct performance of controller in cruise control systems is important. Hence, in such systems, controller should optimize itself against noise and probable changes in system dynamic. As a matter of fact, in this article three approaches have been conducted to-ward this purpose: MIT, direct estimation and indirect estimation. These approaches are used as controllers to track refe...
متن کاملSafety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications
Cooperative adaptive cruise control(CACC) system provides a great promise to significantly reduce traffic congestion while maintaining a high level of safety. Recent years have seen an increase of using formal methods in the analysis and design of cooperative adaptive cruise control systems. However, most existing results using formal methods usually assumed an ideal inter-vehicle communication...
متن کاملPredictive Cruise Control in Hybrid Electric Vehicles
Deceleration rates have considerable influence on the fuel economy of hybrid electric vehicles. Given the vehicle characteristics and actual/measured operating conditions, as well as upcoming route information, optimal velocity trajectories can be constructed that maximize energy recovery. To support the driver in tracking of the energy optimal velocity trajectory, automatic cruise control is a...
متن کاملOptimal Cruise Control of Heavy-haul Train Equipped with Electronic Controlled Pneumatic Brake Systems
In this paper a closed-loop cruise controller to minimise the running costs of the heavy-haul train is proposed. Consideration is given to velocity tracking, intrain force and fuel consumption, as well as optimisation of them. To overcome the communication constraints, a fencing concept is introduced whereby the controller is reconfigured adaptively to the current track topology. Simulation res...
متن کاملDesign, tuning, and evaluation of a full-range adaptive cruise control system with collision avoidance
This paper describes the design, tuning, and evaluation of a full-range adaptive cruise control (ACC) system with collision avoidance (CA). The control scheme is designed to improve drivers’ comfort during normal, safe-driving situations and to completely avoid rear-end collision in vehicle-following situations. Driving situations are divided into safe, warning, and dangerous modes. Three diffe...
متن کامل